Nuprl Definition : fix
11,40
postcript
pdf
f
**(
x
) == if eqof(
eq
)(
x
,
f
(
x
)) then
x
else
f
**(
f
(
x
)) fi
clarification:
fix(
eq
;
f
;
x
) == if eqof(
eq
)(
x
,
f
(
x
)) then
x
else fix(
eq
;
f
;
f
(
x
)) fi
(recursive)
latex
Definitions
Y
,
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
eqof(
d
)
,
f
(
a
)
FDL editor aliases
fix
origin
x.A(x)x.A(x)